transP(
not1(E):-E,!,fail.
not1(E).

test1(X):- X = 5, !.
test1(6).

test2(X):- test1(X),X >= 6.
test2(_).

test3(X):- test1(X),X >=6 .
;
test1(X)
?
)
